Model-driven System Testing for Interactive Applications

This paper describes an approach for automatically generating system tests from behavioral models of an application using the Unified Modeling Language (UML.) The proposed approach builds on and combines existing techniques for data coverage and graph coverage. It first consists of using the Category-Partition method to introduce data into the UML model. UML Use Cases and Activity diagrams are used to respectively describe which functionalities should be tested and how to test them. This combination has the potential to create a very large number of test paths. This approach offers two ways to manage the number of tests. First, custom annotations and guards use the CategoryPartition data which allows the designer tight control over possible, or impossible, paths. Second, automation allows different configurations for both the data and the graph coverage. The goal of this paper is to illustrate the benefits of our automated, model-based approach for improving system test design, generation and automation.